Technical Report of the Virtual Unix Lab Project Implementing exercise result verification for the Virtual Unix Lab Hubert Feyrer <> Computer Science Department of the University of Applied Sciences Rege

Source URL: www.feyrer.de

• Software
• Computing
• Computer architecture
• Scripting languages
• Cross-platform software
• Unix
• Procedural programming languages
• NetBSD
• Berkeley Software Distribution
• Init
• Ls
• Perl

Ryan Scott Brown http://rsb.io/

Source URL: rsb.io

• Cloud infrastructure
• Web hosting
• Cloud storage
• Remote administration software
• Software distribution
• Ansible
• OpenStack Heat
• Chef
• OpenStack
• Red Hat
• Amazon Web Services
• OpenShift

Temporal Mode-Checking for Runtime Monitoring of Privacy Policies Omar Chowdhury§ , Limin Jia§ , Deepak Garg† , and Anupam Datta§ Carnegie Mellon University§ , Max Planck Institute for Software Systems† {omarc, l

Source URL: www.andrew.cmu.edu

• Logic
• Mathematical logic
• Automated theorem proving
• Logic programming
• Logical truth
• Propositional calculus
• Substitution
• FO
• Constructible universe
• Normal distribution

Letux 400 Minibook with Linux This is one of the smallest (DIN A5) and lightest (ca. 670 g) mini notebooks available on the market! It is unique that it comes with a fully supported standard Linux distribution. Since thi

Source URL: www.goldelico.com

• Computer architecture
• Software
• Linux
• Linux-based devices
• Openmoko
• Neo FreeRunner
• Debian
• Etch

Chair of Software Engineering Robotics Programming Laboratory Bertrand Meyer Jiwon Shin

Source URL: se.inf.ethz.ch

• Statistics
• Robot control
• Probability
• Mathematical analysis
• Estimation theory
• Linear filters
• Computational statistics
• Kalman filter
• Conditional probability
• Joint probability distribution
• Particle filter

SUPERDESK FAQ What is Superdesk? Superdesk is a newsroom management system. It is an end-to-end news creation, production, curation, distribution and publishing platform. Built by journalists, for journalists, Superdesk

Source URL: www.sourcefabric.org

• Sourcefabric
• Newsroom
• Free software
• News
• Open-source software
• Campsite

RTI eLearning Program RTI provides the world’s leading implementation of DDS – the Object Management Group’s Data Distribution Standard for Real-Time Systems. This software is used to build real-time communication

Source URL: www.rti.com

From Debian, with ♥ gregor herrmann Barcelona Perl Workshop, Outline ♥ About Me

Source URL: pkg-perl.alioth.debian.org

• Software
• Computing
• Computer architecture
• Debian
• Cross-platform software
• Dpkg
• Perl
• Deb
• CPAN
• Software distribution
• Debian Pure Blend

rBridge: User Reputation based Tor Bridge Distribution with Privacy Preservation Qiyan Wang Department of Computer Science University of Illinois at Urbana-Champaign

Source URL: www-users.cs.umn.edu

• Content-control software
• Virtual communities
• Internet privacy
• Social networking services
• Internet censorship circumvention
• Internet security
• Facebook
• Reddit
• Internet censorship
• Internet Relay Chat

mandoc from scratch to the standard BSD documentation toolkit in 6 years CDBUG, Albany NY, June 17, 2015 NYC*BUG, New York City, June 18, 2015 Ingo Schwarze <> using some material from:

Source URL: www.openbsd.org

• Software
• Computing
• Computer architecture
• Markup languages
• Open formats
• Technical communication
• Mandoc
• Groff
• Troff
• Tbl
• Eqn
• Berkeley Software Distribution